span.highlighted {
  background-color: #FFFF33;
  font-weight: bold;
}
span.term0 {
  background-color: #FFFF33;
}
span.term1 {
  background-color: #FFFF33;
}
span.term2 {
  background-color: #FFFF33;
}
